From 6ecd21a5f900ff7bfba2d00a6f677f31c6d2baa1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Sat, 3 May 2014 13:08:28 +0000 Subject: [PATCH] Remove mediawiki.toc dependency on mediawiki.util This reverts commit 1b658bf0729692027f96c022d131c044610dd658, which was a temporary workaround for Wikimedia deployment cache issues. Change-Id: I72ee359e8ce9aef93e50448067edce104014f39f --- resources/Resources.php | 1 - 1 file changed, 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index a9208db67a..aee1864d2c 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -921,7 +921,6 @@ return array( 'jquery.accessKeyLabel', 'jquery.mwExtension', 'mediawiki.notify', - 'mediawiki.toc', // bug 64765 ), 'position' => 'top', // For $wgPreloadJavaScriptMwUtil 'targets' => array( 'desktop', 'mobile' ), -- 2.20.1